Scripts and infrastructure for the scalability study on DSMC published in the STTT paper "Analyzing Neural Network Behavior through Deep Statistical Model Checking"
This is a new version of the codes for our paper: Correlations Between Deep Neural Network Model Cov...
Recent and rapid advances in Artificial Intelligence (AI), particularly in the form of deep neural n...
This repository contains the dataset and scripts used in study "Revisiting the Performance of Deep L...
Neural networks (NN) are taking over ever more decisions thus far taken by humans, even though verif...
SIGLEAvailable from British Library Document Supply Centre- DSC:D98307 / BLDSC - British Library Doc...
This repository contains the models and all other infrastructure (learning procedure, NNs, Jani gene...
To use this artifact, use the TACAS22 VM [0]. Copy the archive into the VM, unpack it, and then foll...
This artifact generates figures of the submitted draft of “Register Tiling for Unstructured Sparsity...
ABSTRACT: Neural networks were widely used for quantitative structure−activity relationships (QSAR) ...
SIGLEAvailable from British Library Document Supply Centre- DSC:D178558 / BLDSC - British Library Do...
Neural networks were widely used for quantitative structure–activity relationships (QSAR) in the 199...
The main benefit of the work is the optimization of the hardware configuration for the calculation o...
Software artifact of the paper "High-Performance and Programmable Attentional Graph Neural Networks ...
This archive contains the source code to reproduce most figures from the book "Statistical field the...
Purpose: During this article, we are going to consistently explore the kinds of brain signals for Br...
This is a new version of the codes for our paper: Correlations Between Deep Neural Network Model Cov...
Recent and rapid advances in Artificial Intelligence (AI), particularly in the form of deep neural n...
This repository contains the dataset and scripts used in study "Revisiting the Performance of Deep L...
Neural networks (NN) are taking over ever more decisions thus far taken by humans, even though verif...
SIGLEAvailable from British Library Document Supply Centre- DSC:D98307 / BLDSC - British Library Doc...
This repository contains the models and all other infrastructure (learning procedure, NNs, Jani gene...
To use this artifact, use the TACAS22 VM [0]. Copy the archive into the VM, unpack it, and then foll...
This artifact generates figures of the submitted draft of “Register Tiling for Unstructured Sparsity...
ABSTRACT: Neural networks were widely used for quantitative structure−activity relationships (QSAR) ...
SIGLEAvailable from British Library Document Supply Centre- DSC:D178558 / BLDSC - British Library Do...
Neural networks were widely used for quantitative structure–activity relationships (QSAR) in the 199...
The main benefit of the work is the optimization of the hardware configuration for the calculation o...
Software artifact of the paper "High-Performance and Programmable Attentional Graph Neural Networks ...
This archive contains the source code to reproduce most figures from the book "Statistical field the...
Purpose: During this article, we are going to consistently explore the kinds of brain signals for Br...
This is a new version of the codes for our paper: Correlations Between Deep Neural Network Model Cov...
Recent and rapid advances in Artificial Intelligence (AI), particularly in the form of deep neural n...
This repository contains the dataset and scripts used in study "Revisiting the Performance of Deep L...
DOI
Add to ORKG